package com.googlecode.kipler.satisfiability.completion.strategy;

import java.util.Iterator;

import com.googlecode.kipler.container.dl.Individual;
import com.googlecode.kipler.container.dl.World;
import com.googlecode.kipler.container.dl.WorldConstraintSystem;


public interface IndividualFeeder {
	void setWcs(WorldConstraintSystem wcs);

	void setWorld(World world);

	WorldConstraintSystem getWcs();

	World getWorld();

	Iterator<Individual> iterator();
}
